1.
Introduction to Mathematics of Satisfiability (Chapman & Hall/Crc Studies in Informatics)
by Marek, Victor W., Marek, V. W.
ISBN: 9781439801673
List Price: $89.95
OUT OF STOCK
See Availability on Amazon2.
Andrzej Mostowski and Foundational Studies
by Mostowski, Andrzej, Ehrenfe...
ISBN: 9781586037826
List Price: $130.00